home *** CD-ROM | disk | FTP | other *** search
/ Software USA 4 #10 / Software USA Volume 4.10.iso / mac / Read Me / Read Me.rsrc / TEXT_147.txt < prev    next >
Encoding:
Text File  |  1996-09-28  |  453 b   |  17 lines
  1.  
  2. Bertrand
  3. Bertrand is both an educational aid for students of logic and a
  4. practical tool for philosophers, logicians, computer programmers and
  5. mathematicians. Using an algorithm inspired by the "consistency tree"
  6. method found in Leblanc and Wisdom's textbook "Deductive Logic",
  7. Bertrand proceeds by breaking down and instantaniously solving
  8. first-order predicate logic statements for equivilent "logical truth" and "logical falsity." 
  9.  
  10.  
  11.  
  12.   
  13.  
  14.  
  15.  
  16.  
  17.